Nuprl Definition : rv-shift
11,40
postcript
pdf
rv-shift(
x
;
X
)(
s
) ==
X
(cons-seq(
x
;
s
))
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
,
cons-seq(
x
;
s
)
FDL editor aliases
rv-shift
origin
x.A(x)x.A(x)